static semantic rule

[计] 静态语义规则